241. Computer science logic: 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
پدیدآورنده : Jerzy Marcinkowski, Andrzej Tarlecki )eds.(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
9
.
L63
E93
242. Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
پدیدآورنده : Laurent Fribourg )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2142
243. Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
پدیدآورنده : Matthias Baaz, Johann A. Makowsky )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2803
244. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
پدیدآورنده : Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W624
1990
245. Computer science -- theory and applications :
پدیدآورنده : René van Bevern, Gregory Kucherov (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
رده :
QA75
.
5
246. Computer scince logic : 13th International Workshop, CSL' 99 : 8th annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
پدیدآورنده : Jorg Flum, Mario Rodriguez-Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1683
247. Computer supported education :
پدیدآورنده : Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
248. Computer vision-- ACCV 2009 :
پدیدآورنده : Hongbin Zha, Rin-ichihiro Taniguchi, Stephen Maybank, (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer vision, Congresses
رده :
TA1634
.
A85
2009
249. Computing and combinatorics :
پدیدآورنده : Ding-Zhu Du, Zhenhua Duan, Cong Tian (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis-- Data processing, Congresses.,Computer science, Congresses.,Combinatorial analysis-- Data processing.,Computer science.
رده :
QA76
.
9
.
A43
C66
2019
250. Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
پدیدآورنده : Peter Eklund )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lattice theory,Mathematical models -- Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2961
251. Conceptual graphs for knowledge representation : First International Conference on Conceptual Structures ICCS'93, Quebec City, Canada, August 4-7, 1993 : proceedings
پدیدآورنده : Guy W. Mineau, Bernard Moulin, John F. Sowa,)eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Knowledge representation )Information theory(,Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic diagrams
رده :
QA
76
.
L28
Vol
.
699
252. Conceptual graphs for knowledge representation : First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Knowledge representation )Information theory(-- Congresses,، Conceptual structures )Information theory(-- Congresses,، Graph theory-- Congresses,، Logic diagrams-- Congresses
رده :
Q
387
.
I58
1993
253. Conceptual modeling :
پدیدآورنده : Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
رده :
QA76
.
9
.
D26
254. Conceptual modeling--ER 2011 :
پدیدآورنده : Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
255. Conceptual structures : Knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS'96, Syndney, Australia, August 19-22, 1996 : proceedings
پدیدآورنده : Peter W. Eklund, Gerard Ellis, Graham Mann )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Knowledge representation )Information theory(,Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic diagrams
رده :
QA
76
.
L28
Vol
.
1115
256. Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 : proceedings
پدیدآورنده : Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic diagrams,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3127
257. Conceptual structures: broadening the base: 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic diagrams,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
رده :
Q
387
.
2
.
I58
2001
258. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
پدیدآورنده : Harry S. Delugach, Gerd Stumme, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
2120
259. Conceptual structures : common semantics for sharing knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 : proceedings
پدیدآورنده : Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic diagrams,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3596
260. Conceptual structures, current practices :
پدیدآورنده : John F Sowa
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Conceptual structures (Information theory) -- Congresses.,Graph theory -- Congresses.,Knowledge representation (Information theory) -- Congresses.
رده :
Q387
.
J646
1994
